High-Level Modelling for Typed Functional Programming
نویسندگان
چکیده
Abstract There is currently no way to model the high-level structural design of a functional system. Given strong links between programming and mathematics, it hypothesised that language mathematics can provide insight into how system might be modelled. The approach successful both philosophy are used identify necessary modelling concepts briefly outline some notation alongside small case study.
منابع مشابه
Typed Contracts for Functional Programming
A robust software component fulfills a contract: it expects data satisfying a certain property and promises to return data satisfying another property. The object-oriented community uses the design-by-contract approach extensively. Proposals for language extensions that add contracts to higher-order functional programming have appeared recently. In this paper we propose an embedded domain-speci...
متن کاملAutomation for Dependently Typed Functional Programming
Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is difficult in current system due to lack of proof automation. We identify and discuss proof patterns that occur when programming with dependent types and detail how the automation of such patterns allow us to work more comfortably w...
متن کاملHigh-Level Abstractions for Low-Level Programming
High-Level Abstractions for Low-Level Programming Iavor Sotirov Diatchki Ph.D., OGI School of Science & Engineering at Oregon Health & Science University May 2007 Thesis Advisor: Dr. Mark P. Jones Computers are ubiquitous in modern society. They come in all shapes and sizes: from standard household appliances and personal computers, to safety and security critical applications such as vehicle n...
متن کاملHigh-level languages for low-level programming
ions Abstractions have a cost. File systems and network protocols are generic and not tailored to one particular application. We cannot expect an abstraction to be optimal with respect to every application that uses it. Similarly on the PL side one cannot expect a general purpose PL to provide the exact abstractions needed for one particular application. These abstractions too have a cost: they...
متن کاملIntegrating Functional Reactive Programming in a High-Level VR Framework
The recently developed Functional Reactive Programming paradigm provides a new potential method for the creation of dynamic, interactive Virtual Environments. Complex simulation environments are modeled as a combination of continuous time functions and discrete events. In this paper, we present a method to introduce the Functional Reactive Programming paradigm into higher level VR system, on ha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2021
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-030-83978-9_4